IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems

IF-2.0: A Validation Environment for Component-Based Real-Time Systems

It is widely recognised that the automated validation of complex systems can hardly be achieved without tool integration. The development of the IF-1.0 toolbox [3] has been initiated several years ago, in order to provide an open validation platform for timed asynchronous systems (such as telecommunication protocols or distributed applications, in general). The toolbox has been built upon an in...

Veri cation Experiments on the MASCARA Protocol?

In this paper, we describe an experiment in verifying a real industrial protocol for wireless atm, called mascara. Several tools have been used: sdl has been chosen as the speci cation language and the commercial tool Objectgeode (Telelogic) has been used for creating, maintaining and modifying sdl descriptions. The if tool-set has been used for minimization and comparison of system models and ...

IF: A Validation Environment for Timed Asynchronous Systems

Marius Bozga, Jean-Claude Fernandez, Constantin Lucian Ghirvu, Susanne Graf, Krimm Jean Pierre, et al.. IF: A Validation Environment for Timed Asynchronous Systems. Emerson, E. Allen; Sistla, A. Prasad. Computer Aided Verification 12th International Conference, CAV 2000, Jul 2000, Chicago IL, United States. Springer, 1855, pp.543-547, 2000, Lecture Notes in Computer Science. <10.1007/10722167>....

If: a Validation Environment for Timed Asynchronous Systems (category B: Tool Presentation)

IF: a validation environment for real-time UML and SDL models

IF[5, 6, 8, 10, 14] is an open validation platform for asynchronous timed systems such as telecommunication protocols or distributed applications. The toolbox is built upon a specification language based on timed automata extended with discrete data variables, various communication primitives, dynamic process creation and destruction. This language is expressive enough to represent most useful ...